Failed to solve the following constraints:
  ∞ =< i ⊔ˢ j : Size (stuck)
